1. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
2. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
59
K538
2012
3. Computability
پدیدآورنده : Weihrauch, K.)Klaus(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
4. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
5. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
6. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
7. Logik für Informatiker :
پدیدآورنده : von Bernhard Heinemann und Klaus Weihrauch.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : informatique -- logique mathématique.,informatique -- logique.,informatique théorique -- logique mathématique.
رده :
QA9
.
V663
1992
8. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
9. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
